#include <kernel.h>
#include <assert.h>
#include <printk.h>

void bad_assertion(char* file, int line, char* assert)
{
    printk("*=================== Assert Fail =================*\n");
    if(!assert)
        printk("[%s:%d]:%s\n",file, line, assert);
    else
        printk("[%s:%d]:%s\n",file, line, "assert failed");
    printk("*-------------------------------------------------*\n");

    system_dump();
}